<i>Miller's Prophecy Fulfilled</i> by Major John Richardson

Surgeon-Major John Cameron

Computation by Prophecy

We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises the traces of the computation of the function. The structure of a prophecy is a possibly infinite tree, which is coerced by linearisation to a type of partial results defined by applying the delay monad to the co-domai...

Social Influence by Requesting Self -Prophecy

Asking people to predict whether they will perform a target action often increases the probability of their performing that action. This article reviews published and unpublished research evidence for this “self-prophecy” phenomenon and reports 2 new experiments. The studies reviewed demonstrate that the self-prophecy effect occurs in a variety of situations and that it is a moderate-size effec...

Richardson and Chebyshev Iterative Methods by Using G-frames

In this paper, we design some iterative schemes for solving operator equation $ Lu=f $, where $ L:Hrightarrow H $ is a bounded, invertible and self-adjoint operator on a separable Hilbert space $ H $. In this concern,  Richardson and Chebyshev iterative methods are two outstanding as well as long-standing ones. They can be implemented in different ways via different concepts.In this paper...

Arctic ordeal. The journal of John Richardson, surgeonnaturalist with Franklin 1820–22

a trend towards small families, abortion, and homosexuality. With the outbreak of war, the Lebensborn's function was extended to the "germanization" of racially sound children from the occupied territories who were the offspring of liaisons between German military personnel and women from those territories or whose parents had been killed or imprisoned. Such children were effectively seized and...